bf (fu a) (gu b)